New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fetch PRs using the head hash #417
Conversation
…Speed up move on failure.
👋 Welcome back rwestberg! A progress list of the required criteria for merging this PR into |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good!
@rwestberg This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type
Since the source branch of this PR was last updated there have been 3 commits pushed to the ➡️ To integrate this PR with the above commit message, type |
/integrate |
@rwestberg The following commits have been pushed to master since your change was applied:
Your commit was automatically rebased without conflicts. Pushed as commit 21d6acf. |
Mailing list message from Robin Westberg on skara-dev: Changeset: 21d6acf Fetch PRs using the head hash Reviewed-by: ehelin ! forge/src/main/java/org/openjdk/skara/forge/HostedRepositoryPool.java |
Hi all,
Please review this follow-up fix for faster remote repository materialization that fetches PRs by their head hash instead of a named source ref, as the ref may not be present in the remote repo.
Best regards,
Robin
Progress
Approvers